Uml/analyzer User Guide a System for Model Synthesis and Analysis Note That This User Guide/tutorial Requires the Reader to Be Familiar with the Paper " Automatically Validating Model Consistency during Refinement. " This Paper Is Attached in the Appendix

and_concrete.mdl Tutorial Rose model used in this manual Cargorouter_architecture.mdl and Cargorouter_design.mdl Tutorial Rose models used in UML to C2SADEL integration Project.txt Project List if multiple model files are needed transitive_abstraction_rules.txt Abstraction rules (patterns) A trial version of Rational Rose can be downloaded from: http://www.rational.com/ Once installed, UML/Analyzer may be launched from the shortcut provided in the program menu. The tool first displays its about box notifying you of important warranty information. Click the OK button to acknowledge this window and to proceed to the main window. U M L / A N A L Y Z E R © 2 0 0 0 A L E X A N D E R E G Y E D